Skip to content

Conversation

@nathanaelbosch
Copy link
Owner

No description provided.

@ChrisRackauckas
Copy link
Contributor

Jadon was going to help with the ADTypes changes there.

@nathanaelbosch
Copy link
Owner Author

Jadon was going to help with the ADTypes changes there.

Yes I saw the PR (#338), but I wasn't quite sure if the tests there fail due to the started PR or simply due to unrelated errors that creeped in. But if the issues all relate to the ADTypes change I can just close this PR again.

@nathanaelbosch nathanaelbosch deleted the fixtests branch May 13, 2025 06:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants